Optimal. Leaf size=130 \[ \frac {\sinh (c+d x) \, _2F_1\left (2,\frac {1}{n};1+\frac {1}{n};-\frac {b \sinh ^n(c+d x)}{a}\right )}{a^2 d}+\frac {\sinh ^5(c+d x) \, _2F_1\left (2,\frac {5}{n};\frac {n+5}{n};-\frac {b \sinh ^n(c+d x)}{a}\right )}{5 a^2 d}+\frac {2 \sinh ^3(c+d x) \, _2F_1\left (2,\frac {3}{n};\frac {n+3}{n};-\frac {b \sinh ^n(c+d x)}{a}\right )}{3 a^2 d} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.13, antiderivative size = 130, normalized size of antiderivative = 1.00, number of steps used = 6, number of rules used = 4, integrand size = 23, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.174, Rules used = {3223, 1893, 245, 364} \[ \frac {\sinh ^5(c+d x) \, _2F_1\left (2,\frac {5}{n};\frac {n+5}{n};-\frac {b \sinh ^n(c+d x)}{a}\right )}{5 a^2 d}+\frac {2 \sinh ^3(c+d x) \, _2F_1\left (2,\frac {3}{n};\frac {n+3}{n};-\frac {b \sinh ^n(c+d x)}{a}\right )}{3 a^2 d}+\frac {\sinh (c+d x) \, _2F_1\left (2,\frac {1}{n};1+\frac {1}{n};-\frac {b \sinh ^n(c+d x)}{a}\right )}{a^2 d} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 245
Rule 364
Rule 1893
Rule 3223
Rubi steps
\begin {align*} \int \frac {\cosh ^5(c+d x)}{\left (a+b \sinh ^n(c+d x)\right )^2} \, dx &=\frac {\operatorname {Subst}\left (\int \frac {\left (1+x^2\right )^2}{\left (a+b x^n\right )^2} \, dx,x,\sinh (c+d x)\right )}{d}\\ &=\frac {\operatorname {Subst}\left (\int \left (\frac {1}{\left (a+b x^n\right )^2}+\frac {2 x^2}{\left (a+b x^n\right )^2}+\frac {x^4}{\left (a+b x^n\right )^2}\right ) \, dx,x,\sinh (c+d x)\right )}{d}\\ &=\frac {\operatorname {Subst}\left (\int \frac {1}{\left (a+b x^n\right )^2} \, dx,x,\sinh (c+d x)\right )}{d}+\frac {\operatorname {Subst}\left (\int \frac {x^4}{\left (a+b x^n\right )^2} \, dx,x,\sinh (c+d x)\right )}{d}+\frac {2 \operatorname {Subst}\left (\int \frac {x^2}{\left (a+b x^n\right )^2} \, dx,x,\sinh (c+d x)\right )}{d}\\ &=\frac {\, _2F_1\left (2,\frac {1}{n};1+\frac {1}{n};-\frac {b \sinh ^n(c+d x)}{a}\right ) \sinh (c+d x)}{a^2 d}+\frac {2 \, _2F_1\left (2,\frac {3}{n};\frac {3+n}{n};-\frac {b \sinh ^n(c+d x)}{a}\right ) \sinh ^3(c+d x)}{3 a^2 d}+\frac {\, _2F_1\left (2,\frac {5}{n};\frac {5+n}{n};-\frac {b \sinh ^n(c+d x)}{a}\right ) \sinh ^5(c+d x)}{5 a^2 d}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.12, size = 119, normalized size = 0.92 \[ \frac {15 \sinh (c+d x) \, _2F_1\left (2,\frac {1}{n};1+\frac {1}{n};-\frac {b \sinh ^n(c+d x)}{a}\right )+3 \sinh ^5(c+d x) \, _2F_1\left (2,\frac {5}{n};\frac {n+5}{n};-\frac {b \sinh ^n(c+d x)}{a}\right )+10 \sinh ^3(c+d x) \, _2F_1\left (2,\frac {3}{n};\frac {n+3}{n};-\frac {b \sinh ^n(c+d x)}{a}\right )}{15 a^2 d} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [F] time = 0.48, size = 0, normalized size = 0.00 \[ {\rm integral}\left (\frac {\cosh \left (d x + c\right )^{5}}{b^{2} \sinh \left (d x + c\right )^{2 \, n} + 2 \, a b \sinh \left (d x + c\right )^{n} + a^{2}}, x\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {\cosh \left (d x + c\right )^{5}}{{\left (b \sinh \left (d x + c\right )^{n} + a\right )}^{2}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [F] time = 5.82, size = 0, normalized size = 0.00 \[ \int \frac {\cosh ^{5}\left (d x +c \right )}{\left (a +b \left (\sinh ^{n}\left (d x +c \right )\right )\right )^{2}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \[ \frac {{\left (2^{n} e^{\left (c n + 10 \, d x + 10 \, c\right )} + 3 \cdot 2^{n} e^{\left (c n + 8 \, d x + 8 \, c\right )} + 2^{n + 1} e^{\left (c n + 6 \, d x + 6 \, c\right )} - 2^{n + 1} e^{\left (c n + 4 \, d x + 4 \, c\right )} - 3 \cdot 2^{n} e^{\left (c n + 2 \, d x + 2 \, c\right )} - 2^{n} e^{\left (c n\right )}\right )} e^{\left (d n x\right )}}{32 \, {\left (2^{n} a^{2} d n e^{\left (d n x + c n + 5 \, d x + 5 \, c\right )} + a b d n e^{\left (5 \, d x + n \log \left (e^{\left (d x + c\right )} + 1\right ) + n \log \left (e^{\left (d x + c\right )} - 1\right ) + 5 \, c\right )}\right )}} + \frac {1}{32} \, \int \frac {{\left (2^{n} n e^{\left (c n\right )} - 5 \cdot 2^{n} e^{\left (c n\right )} + {\left (2^{n} n e^{\left (c n\right )} - 5 \cdot 2^{n} e^{\left (c n\right )}\right )} e^{\left (10 \, d x + 10 \, c\right )} + {\left (5 \cdot 2^{n} n e^{\left (c n\right )} - 9 \cdot 2^{n} e^{\left (c n\right )}\right )} e^{\left (8 \, d x + 8 \, c\right )} + {\left (5 \cdot 2^{n + 1} n e^{\left (c n\right )} - 2^{n + 1} e^{\left (c n\right )}\right )} e^{\left (6 \, d x + 6 \, c\right )} + {\left (5 \cdot 2^{n + 1} n e^{\left (c n\right )} - 2^{n + 1} e^{\left (c n\right )}\right )} e^{\left (4 \, d x + 4 \, c\right )} + {\left (5 \cdot 2^{n} n e^{\left (c n\right )} - 9 \cdot 2^{n} e^{\left (c n\right )}\right )} e^{\left (2 \, d x + 2 \, c\right )}\right )} e^{\left (d n x\right )}}{2^{n} a^{2} n e^{\left (d n x + c n + 5 \, d x + 5 \, c\right )} + a b n e^{\left (5 \, d x + n \log \left (e^{\left (d x + c\right )} + 1\right ) + n \log \left (e^{\left (d x + c\right )} - 1\right ) + 5 \, c\right )}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.01 \[ \int \frac {{\mathrm {cosh}\left (c+d\,x\right )}^5}{{\left (a+b\,{\mathrm {sinh}\left (c+d\,x\right )}^n\right )}^2} \,d x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________